The Algol variable 4. 1903 Draconis
نویسندگان
چکیده
منابع مشابه
Draconis: Rethinking the Storage Stack
High performance storage systems like file systems, databases and persistent key value stores have very high storage I/O requirements. To maximize the efficiency of disk I/O, these systems usually make certain assumptions about the performance characteristics of the underlying storage medium, and design their disk read/write patterns accordingly. Some of the common assumptions include: sequenti...
متن کاملAlgol-Genius
Algol-Genius, an Algol 60 implementation with features from COBOL, was the brainchild of Börje Langefors. In 1964, assembler was the dominant programming language, but Algol-Genius broke that trend among Datasaab D21 customers. Algol-Genius programs were still in production in the late nineties.
متن کاملOn the Semantics of the Bad-Variable Constructor in Algol-like Languages
The fully abstract games model of Reynolds’s Idealized Algol is adapted to provide a characterization of the language without the “bad variable constructor” mkvar. The model shows that the addition of mkvar to the language is conservative for observational equivalence but not for the observational preorder.
متن کاملThe metallicity of CM Draconis
We compare observations of the eclipsing binary system CM Draconis (hereafter CM Dra) with synthetic spectra computed using the stellar atmosphere code PHOENIX. High-resolution infrared spectroscopic observations of six 0.05-mm-wide regions between 1.51 and 2.45mm, combined with previous work, particularly CM Dra’s accurately known surface gravity, enable us to estimate its metallicity using de...
متن کاملThe Essence of Parallel Algol
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local variables provide a way to restrict interference between parallel commands. The combination of local variables, procedures, and parallelism supports a form of concurrent object-oriented programming. We provide a denotatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomische Nachrichten
سال: 1903
ISSN: 0004-6337,1521-3994
DOI: 10.1002/asna.19031620204